Preemptive priority queues